TSTP Solution File: NLP011^7 by DCTP---1.31